% Pocet prvku:
pocet_prvku(5).

% Pocet vlastnosti:
pocet_vlastnosti(5).

% Vlastnosti, jenz patri k sobe.
% [BarvaDomku, Narodnost, Zvire, Hra, Napoj]
patriksobe(_, [cerveny, anglican, _, _, _] ).
patriksobe(1, [_, nor, _, _, _] ).
patriksobe(_, [_, sved, pes, _, _] ).
patriksobe(_, [_, dan, _, _, caj] ).
patriksobe(_, [zluty, _, _, dama, _] ).
patriksobe(3, [_, _, _, _, mleko] ).
patriksobe(_, [_, _, _, bridz, pivo] ).
patriksobe(_, [_, _, papousek, scrabble, _] ).
patriksobe(_, [zeleny, _, _, _, kava] ).
patriksobe(_, [_, nemec, _, poker, _] ).
patriksobe(_, [_, _, rybicky, _, _] ).

% sousede ( vlevo, vpravo )
sousede( patriksobe(_,[zeleny,_,_,_,_]), patriksobe(_,[bily,_,_,_,_]) ).

% vedlesebe ( )
vedlesebe( patriksobe(_,[_,_,_,sachista,_]), patriksobe(_,[_,_,kocka,_,_]) ).
vedlesebe( patriksobe(_,[_,_,_,dama,_]), patriksobe(_,[_,_,kone,_,_]) ).
vedlesebe( patriksobe(_,[modry,_,_,_,_]), patriksobe(_,[_,nor,_,_,_]) ).
vedlesebe( patriksobe(_,[_,_,_,sachista,_]), patriksobe(_,[_,_,_,_,voda]) ).
